DANGER.GF[MF,DEK] - www.SailDart.org

perm filename DANGER.GF[MF,DEK] blob sn#779649 filedate 1984-12-18 generic text, type T, neo UTF8
{`Dα&Q*Dλ#∪ie ⊂≠nW 8≥.B_N'β ↔&"p_Nπ#_L&.x]
↔ 6→$∧ 0[Lv(9≠nW_⊂_LVp2λ∞6H3[]p_⊂ε∨_>@y@≡0;`B_,∨_4?␈@y@≠p;`B_,/_H@@y@≠p;`2_↑0λv@∂_wA∧β→_>0λl?␈O_
wA∧β→_↑0λl?␈O_␈vw@dβ→|`∂P≡?xε@∞xαλεβ_0|`∩⊂α≡?x⊂@∞xαλεβ_1<`
λ␈}≡?x⊂@∞x↓Hεβ y@p<`≥p ⊂εFλy@β0α<␈⎇@≥p ⊂εF⊂y@β0α<`α@≥p ⊂ε∪y@≤`<`⊂p≥p ⊂ε∪λy@≤`<`∞p ]p ⊂ε∪⊂y@≤`<␈qλ␈←]p ⊂ε∪_y@≤`<␈gX≥p ⊂ε∪ y@!`<`⊂p≥p ⊂ε∪(y@!`<`∞p ]p ⊂ε∪0y@!`<␈qλ␈←]p ⊂ε∪8y@!`<␈gX≥p ⊂ε#y@∨xp<␈gX≥p ⊂ε#λy@3 ⊂<␈gX≥p ⊂ε3λy@∃∨xx<`π@≥p ⊂ε3⊂y@) λ<`¬P≥p ⊂ε3 y@) λ<`↓p≥p ⊂ε3(y@∃∨xx<␈}⊂≥p ⊂ε38y@∃∨xx<␈z0≥p ⊂ε3@y@) λ<␈x@≥p 9≥-F(y@<`≡0λz∂_wA∞'(6→>0∂_C@y@>@<`⊂p≥p 9≥-F(y@<`≡0λz∂_wA∞'(6→>0∂_y@<`⊂p≥p 9≥-F(y@>@<`≡0λz∂_C@!@?␈␈␈x␈@λz?␈␈p:λ
⊂≤2p"P≤#λ"P≤∪_"P≤β "P≠s0"P≠s0"P≠s0"P≠s0"P≠s0"P≠s0"P≠s0"P≠s0"P≠s0"P≠s0"P≠pp
βHToCC p"P≠pp
βHToCC p"P≠pp
βHToCC p"P≠pp
βHToCC p"P≠pp
βHToCC p"P≠pp
βHToCC p"P≠pp
βHToC@A⊂αβHToMHToMHToMHToMHToMHToMHToMHTnNHTmOHTm⊂λ∧( 6(∧⊂"P~t#⊃(
0 ∩λTjH↓""P~1p	πHTiπβ↓`"P~⊃P∂εHThε$!H"P→q@∪ελTg¬e!8"P→Q0↔¬HTf¬F↓0"P→10→¬HTe¬&a("P→⊃(≤¬(Td¬'!("P_q ∨¬λTc¬λ∧
⊃((
⊂λ! "P_A  ⊃αD( 0bD#¬λTa¬λ∧@
⊃(λ
⊂	! "P_↓  ∪αD( /bD'¬λT←¬λ¬
⊃(h
⊂
! "P↔A  ∃αD( .bD+¬λT]¬λ¬@
⊃(H
⊂! "P↔↓  ↔αD( -bD/¬λT[¬λε
⊃((
⊂! "P⊗A  →αD( ,bD3¬λTY¬λε@
⊃(λ
⊂
! "P⊗↓  ≠αD( +bD7¬λTW¬λπ
⊃(
h
⊂∞! "P∃A  ≥αD( *bD;¬λTU¬λπ@
⊃(
H
⊂∂! "P∃↓  ∨αD( )bD?¬λTS¬λλ
;BDA¬≥Q  !αN`
⊂⊂a uEλλ@
:BDE¬≥⊃  #αN@
⊂⊃a sEλ	
9BDI¬≤Q  %αN 
⊂∩a qEλ	@
8BDM¬≤⊃  'αN
⊂∪a oEλ

7BDQ¬≠Q  )αM`
⊂∀a mEλ
@
6BDU¬≠⊃  +αM@
⊂∃a kEλ
5BDY¬~Q  -αM 
⊂⊗a iEλ@
4BD]¬~⊃  /αM
⊂↔a gEλ
3BDa¬→Q  1αL`
⊂_a eEλ@
2BDe¬→⊃  3αL@
⊂→a cEλ
1BDi¬_Q  5αL 
⊂~a aEλ
@
0BDm¬_⊃ ⊃↓H 
0αB_ε⊂∃q ←E∧Aλ *bKp
	"dSE↔Q ∪πλ
⊂
/αB0⊃⊂∪a ]E∧r8 &BKP

¬TJE↔⊃ ∀LH	λ
.αBP≠P⊃Q [E¬3h "αK0

h∧_ !αK(
λ∧@  αK 
(∧p ≡bK_
H¬_ ≥bK⊂
h¬@ ≤bKλ
h¬x ≠BK
λε  ~BJx
(εH →BJp
Hεx _"Jh
hπ  ↔"J`
hπP ⊗"JX

λλ ∃αJP

(λ( ∀αJH

HλP ∪αJ@

h	 ⊃bJ8
∞λ	( ⊂bJ0
∞λ	X∨E∀Q ≤P∀∪P
)αCP )Fa QEπ4UbJ⊂
∂λ
h_E∀⊃ ≡⊂⊗∩x
(αCh -¬Q OEπd[αIp
∂h8⊗¬∪Q  ⊂λH∃E∪A  ⊂λX∃E∪1  ⊂(h∃¬∪!  ⊂Hp∃¬∪⊃  ⊂h∀E∪↓  ⊃λλ∀E∩q  ⊃(⊂∀E∩a  ⊃( ∀E∩Q  ⊃H(∀E∩A  ⊃h0∀E∩1  ∩λ8∀E∩!  ∩(8∃¬∩⊃  ∩(H∃¬∩↓  ∪h(∃¬⊃q  ∃H∃¬⊃a  ↔λX∃E⊃Q  _H8∃E⊃A  ~(⊂∃E⊃1  ≠h
h⊗¬⊃!  ≥(
H⊗¬⊃⊃  ∨λ
 ⊗¬⊃↓   H	x⊗E⊂q  "λ	X⊗E⊂a  #h	(↔¬⊂Q  %(	↔E⊂A  &hλ`↔E⊂1  (Hλ0_¬⊂!  *λλ⊂_¬⊂⊃  +Hπh_E⊂↓  -(π8→¬∂q  .hπ_→¬∂a  0(εp→E∂Q  2λε@~¬∂A  3Hε_~E∂1  5λ¬x~E∂!  6h¬H≠¬∂⊃  8(¬ ≠E∂↓  9h∧x≤¬∞q  ;H∧H≤E∞a  =λ∧(≤E∞Q  >H∧≥¬∞A  @ ∪P≥E∞1  @ s(≡¬∞!  @!#_≡E∞⊃  @!C⊂∨¬∞↓  @!S⊂∨E
q  @!c⊂ ⊂αFp
⊂ ⊂x→⊂λ⊃ 6Eλ⊂λλH∧⊂
≠αDλDε4!E
1  @"∪_ ⊃αFP
⊂ ⊃λ~⊂λQ 4Eλ⊂λλM(∧0
~αDλD&d#Eq  @"β8 ∩"F0
⊂ ⊂p≥⊂	! 2Eλ⊂λε∂(∧X
→αDλBgt&¬1  @!∀!⊂	Q 1¬λ⊂λβPλD'E⊃  @ d#⊂
↓ 0¬λ⊂λα⊂	∀(Eq  @ $&⊂
! /¬λ⊂λP	T*¬Q  ?h¬ ∃"E`
⊂∨T)P
a -Eλ∂` ∃λ¬@
⊗BD⎇⊂
t,E⊃  >λ¬P ⊗BE@
⊂≡t-PA ,∧h∂( ↔H¬h	Ub4yP∧/Dja_ <Hε⊂ _α5(	P≡∧2⊂!_*DH∞p →hε_	∃α$vP
∧2DJ1⊂ :hεX →B%⊂	⊂≥∀6P
↓⊂)∧H∞8 ≠HεH	∀"$rP∞∀5∧J⊃λ 8hπ_ ≠α∃λP≤$:⊂
aλ(∧(
x ≥HεxλSb∀nP∂∀8∧)q 7λπP ≤B∧pλ⊂≠$>⊂∞A'∧λ
8 ∨Hπ(λ∪"∧jP⊂∧;D	Q 4hλλ ≡α∧`λ⊂~∀AP∂!&∧λp !(πXλ∪↓tfP⊂T?βi1 2Hλ8 ∨b∧XπP→∧DP⊂⊂x%Ch0 "(λ_πRB∧aP⊃4B∧	 x 0(λ` !atPπP↔tFP⊃x%βh` #HλPπRAd]⊂⊃tFCI⊂x .λλp $↓tHπP⊗TGP∩ x$Ch⊂ #h	(πR!tX⊂⊃dLβi⊂p +Hλx &adHπ⊂∃4GP∪`p$CH
H #H
λπ∩!dS⊂⊃tQCI⊂p (hλx )AdHπ⊂∀∀G⊂∃⊂p$CH	p #h
Xπ∩!dMP⊃tWβI⊂x &λλp ,↓tHπP∩TGP⊗ x$Ch	⊂ #h(πR!tH⊂⊃d\βi p #(λx .AdPπP⊃$G⊂↔@x%βhλ@ #(xπRAtCP⊃D`Ci! !λλX 0b∧XπP⊂4DP_`x%Chλλ "(@πRb∧?P⊂te∧	@x ∨Hλ( 3!t`λ⊂∂4BP→a&∧λπP  h
λλ∪"∧<⊂⊂∀iD	Q ≥hλ 5"∧pλ⊂∞T?⊂~q'∧λπ  ∨λ
Pλ∪b∧9⊂∂$n∧	qλ ≤λπH 7"∃λP
t;⊂≠qλ(∧(εp ≥λ∞⊂λT"∀6⊂∞4qD*⊃⊂ ~Hπλ 9"%⊂	⊂
∀7⊂≤q⊂)∧Hε@ ≠(∞H	∀b$3⊂
4uDJA⊂ →(ε@ ;"%(	⊂43P≥a⊂*Dhε⊂ →λ∂	UB40⊂$y∧jq_ ↔hε <b5@	PT/⊂≡Q_,¬λ¬` ⊗h∂8
⊗"D-⊂$|¬!  ⊗(¬8 >BEX
⊂∧*⊂∨A .¬λ¬0 ∀h∂h
↔"D*P
∧␈Ea  ∃λ∧h @ ⊃ /Eλ¬⊂ ∪λ⊂λ↓¬↓  ∀(∧H @ A 0Eλ¬ ⊃H⊂λβ¬!  ∪h∧  @ q 1Eλ∧h ⊂H⊂λ∧EA  ∪πtλBbF(
⊂	3h @!A 3¬λ∧P≥⊂ ⊂p
→bD$Mh⊂λλ¬
↓  ⊃fdλD"FH
⊂λc( @"⊃ 5¬λ∧(~⊂ ⊃λ
~bD"h⊂λλE
A  ⊂f4λDαFh
⊂λ#⊂ @"↓ 7¬λ∧λ→⊂ ⊂x
≠bD H⊂λπ¬∞↓ ∨LH⊂λεE∞⊃ ∨H⊂λε¬∞! ≡Lh⊂λ¬¬∞1 ≡
(⊂λβE∞A ≥NH⊂λE∞Q ≥⊂λ∧⎇¬∞a ≤PλTz¬∞q ≤P	∀w¬∂↓ ≤⊂	tsE∂⊃ ≠P
DpE∂! ≠⊂∀mE∂1 ~Ptj¬∂A ~P4g¬∂Q ~⊂
∧d¬∂a →P
d`E∂q →⊂∞4]E⊂↓ →⊂∞tZE⊂⊃ _P∂TW¬⊂! _⊂⊂$T¬⊂1 _⊂⊂dQ¬⊂A ↔P⊃DME⊂Q ↔P∩∧JE⊂a ↔⊂∩TGE⊂q ⊗P∪4D¬⊃↓ ⊗P∪tA¬⊃⊃ ⊗⊂∀D>¬⊃! ⊗⊂∃∀:E⊃1 ⊗⊂∃T7E⊃A ∃P⊗$4E⊃Q ∃P⊗t1¬⊃a ∃P↔4.¬⊃q ∃⊂_∧+¬∩↓ ∃⊂_T'E∩⊃ ∃⊂→∀$E∩! ∃⊂_t$E∩1 ∀P_t$¬∩A ∀P_d#E∩Q ∀P_T#¬∩a ∀P_D"E∩q ∀P_$"E∪↓ ∀P_∀"¬∪⊃ ∀P_∧!E∪! ∃⊂↔d!¬∪1 ∃⊂↔T E∪A ∃P↔4 ¬∪Q ∃P↔∀ ¬∪a ⊗⊂⊗sx
'bB` -Ga P¬¬TZ∂"Jλ
hλ≡¬∀! _P∃S`
(bC_ *G1 R¬εdS∞BJ(
∞H
λ≤E∀a ∨P∪3@
)bD!P∩S@
*αD#P∩β8
*"D&⊂⊃#0
*BD(⊂⊂S(
*bD*⊂⊂β 
+αD,P∂#_
+"D.P∞C_
+BD0P
s⊂
+bD3⊂
∪λ
,αD5⊂C
,"D7⊂rx
,BD9Pαx
,bD;P
2p
-αD=P	bh
-"D@⊂	α`
-BDB⊂λ2X
-bDD∂%1 \¬λλh≠JBKH
⊂∩∪⊂∀E↔!  %%R@
.bDM	dq ↑¬λ	p⊃	BKh
⊂∀!`∪¬↔a  )bb(
/bDUD$A `¬λ
xελbLλ
⊂⊗@0⊃¬_!  6BL_
⊂≠↓ b¬λ
0
1"Dj¬_a  4BL8
⊂~↓ d¬λp
2"Df¬→!  2BLX
⊂→↓ f¬λ0
3"Db¬→a  0BLx
⊂_↓ h¬λp
4"D↑¬~!  .BM_
⊂↔↓ j¬λ0
5"DZ¬~a  ,BM8
⊂⊗↓ l¬λ
p
6"DV¬≠!  *BMX
⊂∃↓ n¬λ
0
7"DR¬≠a  (BMx
⊂∀↓ p¬λ	p
8"DN¬≤!  &BN_
⊂∪↓ r¬λ	0
9"DJ¬≤a  $BN8
⊂∩↓ t¬λλp
:"DF¬≥!  "BNX
⊂⊃↓ v¬λλ0
;"DB¬≥a   BD( )BD@¬λTSEλπp
⊃(
@
⊂∂A "P∃⊃  ≡BD( *BD<¬λTUEλπ0
⊃(
`
⊂∞A "P∃Q  ≤BD( +BD8¬λTWEλεp
⊃(
⊂
A "P⊗⊃  ~BD( ,BD4¬λTYEλε0
⊃( 
⊂A "P⊗Q  _BD( -BD0¬λT[Eλ¬p
⊃(@
⊂A "P↔⊃  ⊗BD( .BD,¬λT]Eλ¬0
⊃(`
⊂
A "P↔Q  ∀BD( /BD(¬λT←Eλ∧p
⊃(
⊂	A "P_⊃  ∩BD( 0BD$¬λTaEλ∧0
⊃( 
⊂λA "P_Q  ⊂BD( 1BD ¬λTcEπa "P→↓(≥¬(TdE'↓("P→!(≠¬(TeEF!0"P→A0_¬HTfEEa0"P→a8∃¬hTgF∧a@"P~↓H⊃ε(ThFCaP"P~!`πλTiGB!p"P~R¬λλTk⊂	∧( 5h∧0"P≠∀!⊃(
P ⊂λTmOHTnNHToMHToMHToMHToMHToMHToMHToMHToC@A⊂αβHToCC p"P≠pp
βHToCC p"P≠pp
βHToCC p"P≠pp
βHToCC p"P≠pp
βHToCC p"P≠pp
βHToCC p"P≠pp
βHToCC p"P≠pp
βHToCC p"P≠pp
βHToCC p"P≠pp
βHToCC p"P≠pp
βHToCC p"P≠pp
βHToCC p"P≠pp
βHToCC p"P≠pp
βHToCC p"P≠pp
βHToCC p"P≠pp
βHToCC p"P≠pp
βHToCC p"P≠pp
βHToCC p"P≠pp
βHToCC p"P≠pp
βHToCC p"P≠pp
βHToCC p"P≠pp
βHToCC p"P≠pp
βHToCC p"P≠pp
βHToCC p"P≠pp
βHToCC p"P≠pp
βHToCC p"P≠pp
βHToCC p"P≠pp
βHToCC p"P≠pp
βHToCC p"P≠pp
βHToCC p"P≠pp
βHToCC p"P≠pp
βHToCC p"P≠pp
βHToCC p"P≠pp
βHToCC p"P≠pp
βHToCC p"P≠pp
βHToCC p"P≠pp
βHToCC p"P≠pp
βHToCC p"P≠pp
βHToCC p"P≠pp
βHToCC p"P≠pp
βHToCC p"P≠pp
βHToCC p"P≠pp
βHToCC p"P≠pp
βHToCC p"P≠pp
βHToCC p"P≠pp
βHToCC p"P≠pp
βHToCC p"P≠pp
βHToCC p"P≠pp
βHToCC p"P≠pp
βHToCC p"P≠pp
βHToCC p"P≠pp
βHToCC p"P≠pp
βHToCC p"P≠pp
βHToCC p"P≠pp
βHToCC p"P≠pp
βHToCC p"P≠pp
βHToCC p"P≠pp
βHToCC p"P≠pp
βHToCC p"P≠pp
βHToCC p"P≠pp
βHToCC p"P≠pp
βHToCC p"P≠pp
βHToCC p"P≠pp
βHToCC p"P≠pp
βHToCC p"P≠pp
βHToCC p"P≠pp
βT∧λQSdλRSTλS∪TλS∪DλSSDλSSDλSSDλSSDλSSDλSSTλS∪TλS∪dλRT∧λQHNx
≥
↔ 6→$∧p2Yl↔ 4]LR2~.G 7{`G⊂:[←_y@<`∨ ≡0∞xα≤NV`2|`≡0λπ∂_⎇y@!`;`G⊂:[←_y@<`∨ ≡0∞xα≤NV`2|`≡0∂_y@!`;`G⊂:[←_⎇y@<`∨ ≡0λπ∧_πp␈␈␈␈x␈␈␈␈x∨(␈␈␈g ⊂`↓⊂≠c0 7I4o
H
p%P≠c0 7I4o
H
p%P≠c0 7I4o
H
p%P≠`p
βH
p%P≠`p
βH
p%P≠`p
βH
p%P≠`p
βH
p%P≠`p
βH
p%P≠`p
βH
p%P≠`p
βH
p%P≠`p
βH
p%P≠`p
βH
p%P≠`p
βH
p%P≠`p
βH
p%P≠`p
βH
p%P≠`p
βH
p%P≠`pα∧@@p 7I4o
H
p%P≠c0 7I4o
H
p%P≠c0 7I4o
H
p%P≠c0 7I4o
H
p%P≠CP 7	4m∂H
P%P≠∀ ⊂≠∀X 6λ∧⊂ 6	4k⊂λdk∩h
( ∩λ
(%P~B¬λλ
 %P~!p	πH
⊂%P~⊃`πλ
λ%P~↓P∂εH
%P→qH⊃ε(x%P→a@∪ελp%P→Q8∃¬hh%P→A0↔¬H`%P→10_¬HX%P→!0→¬HP%P→⊃(≠¬(H%P→↓(≤¬(@%P_q(≥¬(8%P_a ∨¬λ0%P_Q  ⊂αDbRh 
⊂λ!  1	4aEλ∧ 
⊂_4X 0BD#¬λ⊂%P_⊃  ∩αD`Rh
⊂	!  0	4←Eλ∧`
⊂↔tX /BD'¬λp%P↔Q  ∀αD↑Rh`
⊂
!  /	4]Eλ¬ 
⊂↔4X .BD+¬λP%P↔⊃  ⊗αD\Rh@
⊂!  .	4[Eλ¬`
⊂⊗tX -BD/¬λ0%P⊗Q  _αDZRh 
⊂!  -	4YEλε 
⊂⊗4X ,BD3¬λ⊂%P⊗⊃  ~αDXRh
⊂
!  ,	4WEλε`
⊂∃tX +BD7¬λ
p%P∃Q  ≤αDVRh
`
⊂∞!  +	4UEλπ 
⊂∃4X *BD;¬λ
P%P∃⊃  ≡αDTRh
@
⊂∂!  *	4SEλπ`
⊂∀tX )BD?¬λ
0%P∀Q   αDRRh
 
⊂⊂!  )	4QEλλ 
⊂∀4X (BDC¬λ
⊂%P∀⊃  "αDPRh

⊂⊃!  (	4OEλλ`
⊂∪tX 'BDG¬λ	p%P∪Q  $αDNRh	`
⊂∩!  '	4MEλ	 
⊂∪4X &BDK¬λ	P%P∪⊃  &αDLRh	@
⊂∪!  &	4KEλ	`
⊂∩tX %BDO¬λ	0%P∩Q  (αDJRh	 
⊂∀!  %	4IEλ
 
⊂∩4X $BDS¬λ	⊂%P∩⊃  *αDHRh	
⊂∃!  $	4GEλ
`
⊂⊃tX #BDW¬λλp%P⊃Q  ,αDFRhλ`
⊂⊗!  #	4EEλ 
⊂⊃4X "BD[¬λλP%P⊃⊃  .αDDRhλ@
⊂↔!  "	4CEλ`
⊂⊂tX !BD←¬λλ0%P⊂Q  0αDBRhλ 
⊂_!  !	4AEλ 
⊂⊂4X  BDc¬λλ⊂%P⊂⊃  2αD@Rhλ
⊂→!   	4?Eλ`
⊂∂tX ∨BDg¬λπp%P∂Q  4αD>Rhπ`
⊂~!  ∨	4=Eλ
 
⊂∂4X ≡BDk¬λπP%P∂⊃  6αD<Rhπ@
⊂≠!  ≡	4;E∧ 0 -αD;Rhπ0
λaDWEλπ0%P∞Q ∩∧(
X
⊂∞TX ≥αB(⊂∀q  ≥	49E∧a` (BD9Rhπ⊂
	D$O¬λπ⊂%P∞⊃ ∪Ih	P
⊂∞∀X ≤αB@⊗P∩Q  ≤	47E¬∪⊂ $"D7Rhεp

FtFEλεp%P
Q ∃O(λ@
⊂
TX ≠αBX ⊂hλ 
⊂
DX ~bB` ∩λλ
⊂
4X ~BBh ∪HπX
⊂
$X ~"Bp ∀hπ8
⊂
∀X ~αBx ⊗λπ_
⊂
∧X →bBx ↔hεp
⊂tX →BC →λεP
⊂dX →"Cλ ~(ε0
⊂TX →αC⊂ ≠hελ
⊂DX _bC_ ≥λ¬h
⊂4X _BC_ ≡H¬H
⊂$X _"C   λ¬ 
⊂∀X _αC( !(¬
⊂∧X ↔bC0 "H∧`
⊂tX ↔BC8 $λ∧8
⊂dX ↔"C@ %(∧_
⊂TX ↔αC@ &gq  ↔	4-Eπ∀PNBD-Rh¬P
∞H
0≠¬λ¬P%P⊃ ≥P∃#_
⊂∀X ⊗αC` +&⊃  ⊗	4+EπDXKbD+Rh¬0
∂( ⊗Eλ¬0%P
Q ∨⊂⊗b`
⊂
TX ∃αCx -eA  ∃	4)Eλ∧ .%1  ∀i4)¬λ∧ .e1  ∀I4(Eλ∧λ /%!  ∀)4(¬λ∧⊂ /E!  ∀	4'Eλ∧_ 0¬⊃  ∪i4'¬λ∧  0%⊃  ∪I4&Eλ∧( 0E⊃  ∪)4&¬λ∧( 1¬⊃  ∪	4%Eλ∧0 1%⊃  ∩i4%¬λ∧8 1E⊃  ∩I4$Eλ∧@ 1e⊃  ∩)4$¬λ∧H 1e!  ∩	4#Eλ∧H 2%!  ⊃i4#¬λ∧x 1%!  ⊃I4"Eλ¬0 0¬!  ⊃)4"¬λ¬` .e1  ⊃	4!Eλε⊂ -e1  ⊂i4!¬λεH ,E1  ⊂I4 Eλεx +%A  ⊂)4 ¬λπ( *%A  ⊂	3x
⊂∂DRαCx%OBDA⊂∪rh
∂I3h
⊂⊃∧MK"Ch%OαDGP∩Rp
∂	3X
⊂∩THbCX%NBDMP⊃Bx
∞I3H
⊂∀$CαCH%NαDT⊂⊂#
∞	38
⊂∃d>L"C8%MBDZP∞s⊂

I3(
⊂↔49LBC(%MαD`P
c_

	3_
⊂→∧4
αC_%LBDg⊂3(
I3λ
⊂~D/M"Cλ%LαDmP∪0
	2x
⊂≤∀*
bBx%KBDsP	s@
I2h
⊂≥d$N"Bh%KαDz⊂λSH
	2X
⊂∨$ ∞BBX%JBDλ@'#X

I2H
⊂ ⊂8~OαBH%JαDλBF3h

	28
⊂ ⊂`→∂BB8%IBDλC&#x
	I2(
⊂ ⊂p→⊂λ↓ ∩RdA  @!s⊂ ⊂"B %HbDλDε$!¬∧4X⊃¬λ⊂λλh∧_
λI2λ
⊂ ⊃λ→PλA ⊂Rd↓  @"∪  ⊃"B%GbDλD&T#¬βtX∂¬λ⊂λλMH∧8
πI1h
⊂ ⊃≠P	⊃ ∞RcA  @!cP ∩BA`%FbDλCπT%Eβ4X
¬λ⊂λ¬Oh∧`
εI1H
⊂ ⊂H ⊂H∧h
ε)1@
⊂ ⊂8 ⊃λ∧x
ε	18
⊂ ⊂0 ⊃H¬
¬i10
⊂ ⊂  ∩(¬λ
¬I1(
⊂ ⊂⊂ ∪λ¬⊂
¬)1 
⊂ ⊂λ ∪(¬ 
¬	1_
⊂∨t(⊂
Q 	Rb!  ?(¬_ ∃BA⊂%D"D}⊂
D,¬α∀Xλ¬λ∂P ∃h¬H
∧	0x
⊂∨∧-⊂! πRaa  =h¬X ↔α@p%CB4zPd.DadXεDh∂_ _λ¬x	C)0`	P≡$1⊂↓_ε∩a1_ <λε  _B0X%Bb$w⊂t1DA4X¬∧H∞h ~λε(	αI0H	⊂≥45Pa⊂∧Ra↓⊂ :(εh ~α @%Bα$sP
d4DA∧XβDH∞( ≤(εP	↓i08λP≤49P
AλβR`aλ 8Hπ  ≠B⊂0%AB∀oP∞d7D dXαD(
h ≡(πλA)0(λ⊂≠D=⊂∞!αR`A 6Hπ` ≥α %Aα∧kP∂d:DDX↓Dλ
(  λπ8λi0_λ⊂~4@P∂↓↓R`! 4(λ_ ≡B⊂%@B∧g⊂⊂T=D$X↓βhh !(πpπ@I0λλ⊂→$CP∂qR`⊂x 2λλH  !pλ%@!tc⊂⊃∀AC`∃X 0hλX !$`P⊃DCVHx #(λ@-⊂↔DG⊂⊃%H .Hλx #+∀\⊂⊃dH⊗(( #h	⊂,P⊗$GP∩UH ,λλp &∧W⊂⊃tMVλ
X #h	p,⊂∃∀G⊂∀∀0↓βh
λ #H
H,⊂∪dGP∃5@ &hλx +K∀L⊂⊃dX⊗(	( #h⊂,P∩$GP⊗UH $λλp .	 λπ⊂⊃TGP↔ pR@⊂x "Hλp /↓pλ%!tD⊂⊃T←C`∀PChλ8 #λλπ@) λλ⊂⊂DEP_1R@ x  hλH 1Ap⊂%At@P⊃∀dβ`$P↓∧λπx !hPλI _πP∂dBP→Px↓R@1 ≡hλ( 3B_%b∧=⊂⊂4hD4Pα∧λπ@  (
_λ↓	  λ⊂∞t@⊂~Qα∩@Q ≥(πp 5b(%↓"∧:⊂∂Dm∧TPβ∧λπ⊂ ≡H
`λ↓I 0λP∞∧<P≠Qλβ∩@qλ ≠hπ0 7b⊂8%↓b∀7⊂∞Dq∧ tP∧∧(ε` ≤h∞_λB	 @	⊂
$8P≤Q⊂∧∩A⊃⊂ ~(εp 9b H%α"$4⊂
TtDA∀P¬∧Hε0 ~h∞X	αI X	⊂T4⊂≥Q⊂¬RAA⊂ _hε8 ;B `%βα41⊂Dx∧aDPεDhε _H∂⊂	C) p	Pt0⊂≡1_π∩Aq_ ↔(¬p ="0x%βbD.⊂4{E↓tPλ¬λ¬P ⊗H∂@
∧	!λ
⊂∀+P∨! λRB!  ⊗λ¬  ?αA⊂%∧bD+⊂
4}Eα4P
¬λ¬( ∀λ∂x
¬	!(
⊂
D&P ⊂λ
¬)!0
⊂
$&⊂ ⊂⊂
¬I!8
⊂
∀$P ⊂ 
¬i!@
⊂
∧#⊂ ⊂0
ε	!H
⊂	t"⊂ ⊂8
ε)!P
⊂	T!⊂ ⊂H
εI!X
⊂	Cx @!1 
RCA  ∩gTλCαA`%π"D%∞H⊂λπ¬βTP∂¬λ∧H≠P ⊃
πI!x
⊂λs0 @"⊃ ∂RD↓  ⊃FTλD"B%λ"D"Mλ⊂λλE∧∀P⊃¬λ∧ →P ⊃λ
λI"_
⊂λ3_ @"↓ ⊃RDA  ⊂F$λDαB %	"D LH⊂λπE∧TP∪¬λ∧→⊂ ⊂p
	I"8
∂f$λC"B8%
αCp→⊂ ⊂`

	"H
∂&4λBBBH%
BC`~P ⊂8

I"X
∞g$λ@"BX%αCP ⊂λ∂P
	"h
∞(∧( =αBh%BCH ∩(∞p
I"x
∞λ∧x 9bBx%αC8 ∃λ∞λ
	#λ

H¬H 6bCλ%BC( ↔h
 
I#_

(ε_ 3BC_%
αC  ~λ@

	#(
hεp 0"C(%
BC⊂ ≤hX

I#8
Hπ8 -"C8%∞αCλ ∨(
p
∞	#H
λλ⊂ *αCH%∞BC !H
⊂
∞I#X
hλ` &bCX%∂αBx $λ	(
∂	#h
H	( #bCh%∂BBh &hλ@
∂I#x
(	x  BCx%⊂λ↓ ⊗⊂∀D>¬λ∧%⊂λ⊃ ⊗⊂∃∀:Eλ∧λ%⊂λ! ⊗⊂∃T7Eλ∧⊂%⊂λ1 ∃P⊗$4Eλ∧_%⊂λA ∃P⊗t1¬λ∧ %⊂λQ ∃P↔4.¬λ∧(%⊂λa ∃⊂_∧+¬λ∧0%⊂λq ∃⊂_T'Eλ∧8%⊂	↓ ∃⊂→∀$Eλ∧@%⊂	⊃ ∃⊂_t$Eλ∧H%⊂	! ∀P_t$¬λ∧P%⊂	1 ∀P_d#Eλ∧X%⊂	A ∀P_T#¬λ∧`%⊂	Q ∀P_D"Eλ∧h%⊂	a ∀P_$"Eλ∧p%⊂	q ∀P_∀"¬λ∧x%⊂
↓ ∀P_∧!Eλ¬%⊂
⊃ ∃⊂↔d!¬λ¬λ%⊂
! ∃⊂↔T Eλ¬⊂%⊂
1 ∃P↔4 ¬λ¬_%⊂
A ∃P↔∀ ¬λ¬ %⊂
Q ⊗⊂⊗sx
⊂
TP ∃BB` -Ga  ∃I$+E¬TZ∂"D+RH¬@
hλ≡¬λ¬@%⊂⊃ _P∃S`
⊂∀P ⊗BC_ *G1  ⊗I$-EεdS∞BD-RH¬`
∞H
λ≤Eλ¬`%⊂Q ∨P∪3@
⊂TP ↔BD!P∩S@
⊂dP ↔bD#P∩β8
⊂tP _αD&⊂⊃#0
⊂∧P _"D(⊂⊂S(
⊂∀P _BD*⊂⊂β 
⊂$P _bD,P∂#_
⊂4P →αD.P∞C_
⊂DP →"D0P
s⊂
⊂TP →BD3⊂
∪λ
⊂dP →bD5⊂C
⊂tP ~αD7⊂rx
⊂
∧P ~"D9Pαx
⊂
∀P ~BD;P
2p
⊂
$P ~bD=P	bh
⊂
4P ≠αD@⊂	α`
⊂
DP ≠"DB⊂λ2X
⊂
TP ≠BDD∂%1  ≠I$7Eλλh≠JBD7RHπ
⊂∩∪⊂∀Eλπ%⊂∞⊃  %%R@
⊂∞∀P ≤BDM	dq  ≤I$9Eλ	p⊃	BD9RHπ 
⊂∀!`∪¬λπ %⊂∞Q  )bb(
⊂∞TP ≥BDUD$A  ≥I$;Eλ
xελbD;RHπ@
⊂⊗@0⊃¬λπ@%⊂∂⊃  6BD<RHπP
⊂≠↓  ≡I$=Eλ
0
⊂∂4P ∨αDj¬λπ`%⊂∂Q  4BD>RHπp
⊂~↓  ∨I$?Eλp
⊂∂tP  αDf¬λλ%⊂⊂⊃  2BD@RHλ⊂
⊂→↓   I$AEλ0
⊂⊂4P !αDb¬λλ %⊂⊂Q  0BDBRHλ0
⊂_↓  !I$CEλp
⊂⊂tP "αD↑¬λλ@%⊂⊃⊃  .BDDRHλP
⊂↔↓  "I$EEλ0
⊂⊃4P #αDZ¬λλ`%⊂⊃Q  ,BDFRHλp
⊂⊗↓  #I$GEλ
p
⊂⊃tP $αDV¬λ	%⊂∩⊃  *BDHRH	⊂
⊂∃↓  $I$IEλ
0
⊂∩4P %αDR¬λ	 %⊂∩Q  (BDJRH	0
⊂∀↓  %I$KEλ	p
⊂∩tP &αDN¬λ	@%⊂∪⊃  &BDLRH	P
⊂∪↓  &I$MEλ	0
⊂∪4P 'αDJ¬λ	`%⊂∪Q  $BDNRH	p
⊂∩↓  'I$OEλλp
⊂∪tP (αDF¬λ
%⊂∀⊃  "BDPRH
⊂
⊂⊃↓  (I$QEλλ0
⊂∀4P )αDB¬λ
 %⊂∀Q   BDRRH
0
⊂⊂↓  )I$SEλπp
⊂∀tP *αD>¬λ
@%⊂∃⊃  ≡BDTRH
P
⊂∂↓  *I$UEλπ0
⊂∃4P +αD:¬λ
`%⊂∃Q  ≤BDVRH
p
⊂∞↓  +I$WEλεp
⊂∃tP ,αD6¬λ%⊂⊗⊃  ~BDXRH⊂
⊂
↓  ,I$YEλε0
⊂⊗4P -αD2¬λ %⊂⊗Q  _BDZRH0
⊂↓  -I$[Eλ¬p
⊂⊗tP .αD.¬λ@%⊂↔⊃  ⊗BD\RHP
⊂↓  .I$]Eλ¬0
⊂↔4P /αD*¬λ`%⊂↔Q  ∀BD↑RHp
⊂
↓  /I$←Eλ∧p
⊂↔tP 0αD&¬λ%⊂_⊃  ∩BD`RH⊂
⊂	↓  0I$aEλ∧0
⊂_4P 1αD"¬λ %⊂_Q  ⊂BDbRH0
⊂λ↓  1I$cEπa  1i$d¬'!( 2	$dE'↓( 2)$e¬&a( 2I$eEF!0 2i$f¬F↓0 3	$fEEa0 3)$g¬e!8 3I$gF∧a@ 3i$hε$!H 4	$hFCaP 4)$iπβ↓` 4I$iGB!p 4i$jH↓" 5)$k⊂	∧k∩H
8 ⊃H
8%⊂≠∀!⊂≠∀P 6H∧ 6I$mOH
X%⊂≠SP 7)$oMH
x%⊂≠s0 7i$oMH
x%⊂≠s0 7i$oMH
x%⊂≠s0 7i$oMH
x%⊂≠ppα∧@@p 7i$oCC p 7i$oCC p 7i$oCC p 7i$oCC p 7i$oCC p 7i$oCC p 7i$oCC p 7i$oCC p 7i$oCC p 7i$oCC p 7i$oCC p 7i$oCC p 7i$oCC p 7i$oCC p 7i$oCC p 7i$oCC p 7i$oCC p 7i$oCC p 7i$oCC p 7i$oCC p 7i$oCC p 7i$oCC p 7i$oCC p 7i$oCC p 7i$oCC p 7i$oCC p 7i$oCC p 7i$oCC p 7i$oCC p 7i$oCC p 7i$oCC p 7i$oCC p 7i$oCC p 7i$oCC p 7i$oCC p 7i$oCC p 7i$oCC p 7i$oCC p 7i$oCC p 7i$oCC p 7i$oCC p 7i$oCC p 7i$oCC p 7i$oCC p 7i$oCC p 7i$oCC p 7i$oCC p 7i$oCC p 7i$oCC p 7i$oCC p 7i$oCC p 7i$oCC p 7i$oCC p 7i$oCC p 7i$oCC p 7i$oCC p 7i$oCC p 7i$oCC p 7i$oCC p 7i$oCC p 7i$oCC p 7i$oCC p 7i$oCC p 7i$oCC p 7i$oCC p 7i$oCC p 7i$oCC p 7i$oCC p 7i$oCC p 7i$oCC p 7i$oCC p 7i$oCC p 7i$oCC p 7i$oCC p 7i$oCC p 7i$oCC p 7i$oCC p 7i$oCC p 7i$oCC p 7i$oCC p 7i$oCC p 7i$oCC p 7i$oCC p 7i$oCC p 7i$oCC p 7i$oCC p 7i$oCC p 7i$oCC p 7i$oCC p 7i$oCC p 7i$oCC p 7i$oCC p 7i$oCC p 7i$oCC p 7i$oCC p 7i$oCC p 7i$oCC p 7i$oCC p 7i$oCC p 7i$oCC p 7i$oCC p 7i$oCC p 7i$oCC p 7i$oCC p 7i$oCC p 7i$oCC p 7i$oCC p 7i$oCC p 7i$oCC p 7i$oCC p 7i$oCC p 7i$oCC p 7i$oCC p 7i$oCC p 7i$oCC p 7i$oCC p 7i$oCC p 7i$oCC p 7i$oCC p 7i$oCC p 7i$oCC p 7i$oCC p 7i$oCC p 7i$oCC p 7i$oCC p 7i$oCC p 7i$oCC p 7i$oCC p 7i$oCC p 7i$oCC p 7i$oCC p 7i$oCC p 7i$+P ∀0 ∃i$*P ∀P ∃)$*⊂ ∀` ∃	$*⊂ ∀` ∃	$)P ∀p ∀i$)P ∀p ∀i$)P ∀p ∀i$)P ∀p ∀i$)P ∀p ∀i$)P ∀p ∀i$*⊂ ∀` ∃	$*⊂ ∀` ∃	$*P ∀P ∃)$+P ∀0 ∃hO@¬X8∧UY,
(		␈␈␈␈x∨ ␈␈␈g ⊃ {∨@∨ λ↑≤@
 }gx⎇7G⊂α_|@αhC`[⎇xow{⎇x